/*
    pta B1080
*/
#include<bits/stdc++.h>
using namespace std;
int n,m,k;
struct node{
	int a,b,c,d;
	string id;
};
map<string,node>mp;
vector<node>ve;
string s;int score;
bool cmp(node a,node b){
	if(a.d==b.d) return a.id<b.id;
	return a.d>b.d;
}
int main(){
	cin>>n>>m>>k;
	for(int i=0;i<n;i++) cin>>s>>score,mp[s].a=score,mp[s].b=-1,mp[s].c=-1;
	for(int i=0;i<m;i++) cin>>s>>score,mp[s].b=score;
	for(int i=0;i<k;i++) cin>>s>>score,mp[s].c=score;
	for(auto i=mp.begin();i!=mp.end();i++){
		if(i->second.a<200) continue;
		int sum;
		if(i->second.b > i->second.c) sum=(i->second.b*4+i->second.c*6+5)/10;
		else sum=i->second.c;
		if(sum<60) continue;
		else {
			i->second.d=sum;
			i->second.id=i->first;
			ve.push_back(i->second);
		}
	}
	sort(ve.begin(),ve.end(),cmp);
	for(int i=0;i<ve.size();i++){
		cout<<ve[i].id;
		printf(" %d %d %d %d",ve[i].a,ve[i].b,ve[i].c,ve[i].d);
		if(i!=ve.size()-1) cout<<endl;
	}
	return 0;
}
/*
    访问 map<string,int>
        访问map中的第n个元素用 i->first i->second  
*/